Quillen’s Elementary Proofs
نویسنده
چکیده
Recall 1.1. The construction of the Steenrod squares and powers proceeds in the following steps 1. For a space X, the p-th cartesian power Xp is acted on cyclically by Z/p and it fits into a fibration Xp → EZ/p×Z/p Xp → BZ/p 2. If x ∈ H∗(X, Z/p), one defines u × · · · × u ∈ H∗(Xp, Z/p) and extends this class to ũ ∈ H(EZ/p×Z/p Xp; Z/p) by a construction on the chain level. 3. ũ is then pulled back along EZ/p×Z/p (∆) : EZ/p×Z/p X → EZ/p×Z/p Xp, where X is acted on trivially. 4. This class lives in H∗(BZ/p×X; Z/p), so we apply the Kunneth formula, and taking the classes in H∗(X; Z/p), one defines Pi, the i-th power operation (Sqi when p = 2). Idea 1.2. It is not clear how to extend this idea to the context of generalized cohomology theories E because one no longer has the description of E∗(X) as the cohomology of a cochain complex. But when E = MU, and X is a smooth manifold, MU∗(X) has a description as a particular set of smooth maps f : Z → X. Hence we may define P( f ) to be the pullback of the map EZ/p×Z/p ( f×p) along EZ/p×Z/p (∆). Since any finite CW complex has the homotopy type of a smooth manifold, we don’t lose much generality in proceeding in this way.
منابع مشابه
On Quillen's Theorem A for posets
A theorem of McCord of 1966 and Quillen’s Theorem A of 1973 provide sufficient conditions for a map between two posets to be a homotopy equivalence at the level of complexes. We give an alternative elementary proof of this result and we deduce also a stronger statement: under the hypotheses of the theorem, the map is not only a homotopy equivalence but a simple homotopy equivalence. This leads ...
متن کاملThe Gauss-Bonnet-Chern Theorem on Riemannian Manifolds
This expository paper contains a detailed introduction to some important works concerning the Gauss-Bonnet-Chern theorem. The study of this theorem has a long history dating back to Gauss’s Theorema Egregium (Latin: Remarkable Theorem) and culminated in Chern’s groundbreaking work [14] in 1944, which is a deep and wonderful application of Elie Cartan’s formalism. The idea and tools in [14] have...
متن کاملBruns And
We define higher polyhedral K-groups for commutative rings, starting from the stable groups of elementary automorphisms of polyhedral algebras. Both Volodin’s theory and Quillen’s + construction are developed. In the special case of algebras associated with unit simplices one recovers the usual algebraic K-groups, while the general case of lattice polytopes reveals many new aspects, governed by...
متن کاملar X iv : m at h / 01 08 01 3 v 1 [ m at h . K T ] 2 A ug 2 00 1 HIGHER POLYHEDRAL K - GROUPS
We define higher polyhedral K-groups for commutative rings, starting from the stable groups of elementary automorphisms of polyhedral algebras. Both Volodin’s theory and Quillen’s + construction are developed. In the special case of algebras associated with unit simplices one recovers the usual algebraic K-groups, while the general case of lattice polytopes reveals many new aspects, governed by...
متن کاملFinite Spaces and Quillen’s Conjecture
We introduce finite spaces and explain their relations to sets with reflexive and transitive relations and to simplicial complexes. We introduce Quillen’s conjecture: If Ap(G) is weakly contractible then G has a nontrivial normal p-subgroup. We use Quillen’s method to show this is true for solvable groups.
متن کامل